#ifndef CROSSBIT_SPACE
#define CROSSBIT_SPACE

#include <iostream>
#include <vector>
#include "Poly_Operation.h"


namespace polytope
{
	class Space
	{
		public:
			int dimension;
			vector <VBlock> ops_store;
			vector <Poly_Operation> Statements_list;
			
		public:
//			int Mem_Access_Analysis(Poly_Operation poly_op);
			
			virtual int Dependence_Polytope(Poly_Operation poly_op)=0;

	};
}












#endif
